Search results for "Formal ontology"
showing 5 items of 5 documents
Dynamic Design Intents Capture with Formal Ontology and Perdurants Object Concept for Collaborative Product Design
2016
Loss of design intents and related information throughout the lifecycle of products are common. Capturing design intents of an assembly, which include a temporal (dynamic) stages, is even harder. This research work aims to enhance the spatiotemporal mereotopology (STM) based ontology in tune with the contemporary efforts in this research domain. The main idea with such STM ontology is to capture dynamic design intents and develop an integrated data translation framework from Computer Aided Design (CAD) system to a visualization system. This integration framework is intended to enhance design sharing in a collaborative environment. In this paper, the framework is demonstrated with a simple m…
Formal ontology and CAD integration with macro parametric approach
2017
ABSTRACTThis paper discusses an ontological integration framework in the context of mereotopological formal ontology and CAD systems. Based on a comprehensive literature review of current design knowledge management and formal ontology research works, the authors propose the integration framework that can incorporate design knowledge with CAD systems. The primary role of mereotopology in this research work is the formal representation of design knowledge for the 3D solid assembly models. Most of the existing research works about design ontology present an abstract form and often require significant additional efforts to be integrated into CAD systems. Thus, this work introduces a formal ont…
Performability of Actions
2021
AbstractAction theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoretic constructs. This ontology isolates various types of actions as structured entities: atomic, sequential, compound, ordered, situational actions etc., and it is a solid and non-removable foundation of any rational activity. The paper is mainly concerned with a bunch of issues centered around the notion of performability of actions. It seems that the problem of performability of actions, though of basic importance for purely practical ap…
Individuals, Identity, Names: Phenomenological Considerations
1997
In Husserl’s early writings (the Logical Investigations and the first section of Ideas I) the main concern of phenomenological investigations is the givenness of the ideal entities of logic and formal ontology. Another field in his earlier writings is the phenomenology of perception and time consciousness. This field of research broadens into the vision of a universal transcendental aesthetics, which, in his later writings, provides the basis for solving the problem of intersubjectivity.1 The final “synthesis” of these fields and problem domains is to be found in the phenomenological theory of the life-world. Lectures and research manuscripts2 of the late period show also that this second f…
OntoVersionGraph : a change management methodology dedicated to formal ontologies and their user views in a collaborative context
2014
The world changes over time, impacting the knowledge of every subdomain it contains. Therefore systems describing the knowledge of a certain domain should be able to consider changes occurred to keep its knowledge representation up-to-date. Formal ontologies are one of them: they explicitly and formally represent the knowledge of a domain in all its forms and modes of existence. Collaboratively developed, a formal ontology allows the domain users to understand each other by sharing the same terminology despite the different assumptions they have on the domain conceptualization. However, due to its completeness, the complexity of its conceptualization can sometimes make the domain knowledge …